Nuprl Definition : mk-eval
0,22
postcript
pdf
mk-eval(
E
;
eq
;
prd
;
info
;
oax
;
T
;
w
;
a
;
sax
;
V
;
v
) == <
E
,
eq
,
prd
,
info
,
oax
,
T
,
w
,
a
,
sax
,
V
,
v
,
>
latex
Definitions
<
a
,
b
>
,
FDL editor aliases
mk-eval
origin